how do plumbing vents work